derivation of reduction rules
归约规则的推导
热门查询
- peat n. 泥煤；泥炭块；泥炭色 n. (Peat)人名；(英)皮特
- gasifier n. 气化炉，燃气发生炉
- glued adj. 胶合的 v. 粘；用胶水粘住（glue的过去分词）
- defender n. 防卫者，守卫者；辩护者；拥护者；卫冕者
- humorous adj. 诙谐的，幽默的；滑稽的，可笑的
- hardbitten adj. 顽强的；经过磨炼的
- meandering adj. 曲折的；聊天的；漫步的 n. 漫步；漫谈；[建] 曲径 v. 漫步（meander的ing形式）
- outrageously adv. 凶残地，残暴地
- cardiomyopathy n. （尤指原发性的）心肌症
- topographer n. 地形学者；地志学者
- arched adj. 拱形的；有拱的；弓形结构的 v. 成弓形弯曲；成弓形（arch的过去分词形式）
- aerobatic adj. [航] 用特技飞行的
- Suez n. 苏伊士（埃及东北部港市）；苏伊士运河
- gratuitous adj. 无理由的，无端的；免费的
- chink n. 裂缝；叮当声；裂口 vt. 使叮当响 vi. 叮当响
- Ashe n. 阿西娅（人名）
- fiend n. 魔鬼；能手；成癖者
- slammer n. 监狱
- journaling n. 日志；注册；登记
- decadal adj. 十的；由十个组成的；十年间的
